Schroeder-Heister, Peter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generalized Definitional Reflection and the Inversion Principle

Peter Schroeder-Heister

Journal:

Logica Universalis

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

2

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

3

A Natural Extension of Natural Deduction

Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 355 KB

english, 1984

4

Popper's theory of deductive inference and the concept of a logical constant

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 1.41 MB

english, 1984

5

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

6

Frege’s permutation argument revisited

Kai Frederick Wehmeier, Peter Schroeder-Heister

Journal:

Year:

2005

Language:

english

File:

PDF, 204 KB

english, 2005

7

Introduction: Proof-theoretic Semantics

Reinhard Kahle, Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

8

Recent frege studies

Schroeder-Heister, Peter, Gottfried Gabriel, Rezensiert von

Journal:

History and Philosophy of Logic

Year:

1983

Language:

english

File:

PDF, 460 KB

english, 1983

9

Book Reviews

Smith, Robin, Green-Pedersen, N.J., Holdcroft, David, Peter Schroeder-Heister, Rezensiert von, Loptson, Peter, Hodes, Harold, Corrado Mangione, Recensione di, Simons, P.M., Tee, G.J.

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 2.77 MB

english, 1984

10

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

1983

Language:

english

File:

PDF, 857 KB

english, 1983

11

Validity Concepts in Proof-theoretic Semantics

Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 267 KB

english, 2006

12

Conservativeness and uniqueness

, Peter Schroeder-Heister

Journal:

Year:

1985

Language:

english

File:

PDF, 572 KB

english, 1985

13

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

14

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Schroeder-Heister, Peter

Journal:

Year:

2014

Language:

english

File:

PDF, 306 KB

english, 2014

15

Bibliographie Hugo Dingler (1881-1954)

Peter Schroeder-Heister

Journal:

Zeitschrift für philosophische Forschung

Year:

1981

Language:

german

File:

PDF, 1.36 MB

german, 1981

16

International Encyclopedia of the Social & Behavioral Sciences || Popper, Karl Raimund (1902–94)

Schroeder-Heister, Peter

Year:

2015

Language:

english

File:

PDF, 104 KB

english, 2015

17

Reduction, Representation and Commensurability of Theories

Peter Schroeder-Heister and Frank Schaefer

Journal:

Philosophy of Science

Year:

1989

Language:

english

File:

PDF, 628 KB

english, 1989

18

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A logic program for transforming sequent proofs to natural deduction proofs

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.63 MB

english, 1991

19

Ekman’s Paradox

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Notre Dame Journal of Formal Logic

Year:

2017

Language:

english

File:

PDF, 304 KB

english, 2017

20

How to Ekman a Crabbé-Tennant

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

21

Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1987

Language:

english

File:

PDF, 764 KB

english, 1987

22

Spatial S-R compatibility under head tilt

Peter Schroeder-Heister, Gabriele Heister, Walter H. Ehrenstein

Journal:

Acta Psychologica

Year:

1988

Language:

english

File:

PDF, 638 KB

english, 1988

23

Spatial S-R compatibility: Positional instruction vs. compatibility instruction

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1994

Language:

english

File:

PDF, 738 KB

english, 1994

24

S-R compatibility effect or cerebral laterality effect? Comments on a controversy

Gabriele Heister, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1985

Language:

english

File:

PDF, 441 KB

english, 1985

25

Shift of functional cerebral asymmetry during the menstrual cycle

Gabriele Heister, Theodor Landis, Marianne Regard, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1989

Language:

english

File:

PDF, 894 KB

english, 1989

26

Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1987

Language:

english

File:

PDF, 893 KB

english, 1987

27

Spatial S-R compatibility with orthogonal stimulus-response relationship

Walter H. Ehrenstein, Peter Schroeder-Heister, Gabriele Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1989

Language:

english

File:

PDF, 750 KB

english, 1989

28

Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1986

Language:

english

File:

PDF, 1.02 MB

english, 1986

29

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1990

Language:

english

File:

PDF, 1.16 MB

english, 1990

30

A Proof-Theoretic Approach to Logic Programming

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.33 MB

english, 1991

31

Definitional Reflection and Basic Logic

Schroeder-Heister, Peter

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 176 KB

english, 2013

32

The factors involved in the adsorption of glycoproteins from saliva onto hydroxy-apatite surfaces

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Journal of Dentistry

Year:

1979

Language:

english

File:

PDF, 89 KB

english, 1979

33

A Note on Location of the Decisional Stages of Choice Reactions in the Left Hemisphere

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Year:

1984

Language:

english

File:

PDF, 378 KB

english, 1984

34

Assessment of the medical status of Asian immigrant children undergoing dental care

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Journal of Dentistry

Year:

1982

Language:

english

File:

PDF, 44 KB

english, 1982

35

Failure of Completeness in Proof-Theoretic Semantics

Piecha, Thomas, de Campos Sanz, Wagner, Schroeder-Heister, Peter

Journal:

Journal of Philosophical Logic

Year:

2015

Language:

english

File:

PDF, 947 KB

english, 2015

36

Frege and the resolution calculus

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Year:

1997

Language:

english

File:

PDF, 581 KB

english, 1997

37

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 1050 || Handling equality in logic programming via basic folding

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

Year:

1996

Language:

english

File:

PDF, 970 KB

english, 1996

38

Schüler Wolfgang. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg 1983, xv + 190 pp.

Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 258 KB

english, 1989

39

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Logic programming with strong negation

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.05 MB

english, 1991

40

BOOK NOTE

Friedrichsdorf, Ulf, Schroeder-Heister, Peter

Journal:

Journal of Semantics

Year:

1985

Language:

english

File:

PDF, 99 KB

english, 1985

41

Uniqueness, definability and interpolation

Došen, Kosta, Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

42

ON FLATTENING ELIMINATION RULES

OLKHOVIKOV, GRIGORY K., SCHROEDER-HEISTER, PETER

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

43

[Trends in Logic] Advances in Proof-Theoretic Semantics Volume 43 ||

Piecha, Thomas, Schroeder-Heister, Peter

Year:

2016

Language:

english

File:

PDF, 2.69 MB

english, 2016

44

[Trends in Logic] Advances in Proof-Theoretic Semantics Volume 43 || Advances in Proof-Theoretic Semantics: Introduction

Piecha, Thomas, Schroeder-Heister, Peter

Year:

2016

Language:

english

File:

PDF, 68 KB

english, 2016

45

Uniqueness, Definability and Interpolation

Kosta Došen and Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 403 KB

english, 1988

46

Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Peter Schroeder-Heister

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.51 MB

english, 2002

47

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Modal provability foundations for negation by failure

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 2.16 MB

english, 1991

48

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Logic programming, functional programming, and inductive definitions

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.73 MB

english, 1991

49

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A survey of GCLA: A definitional approach to logic programming

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 2.71 MB

english, 1991

50

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A logic programming language with lambda-abstraction, function variables, and simple unification

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 2.26 MB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски